Multiple Relaxations in Temporal Planning

CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classical planning phase. Relaxations in planning are used to guide the search. However, the quality of the relaxation greatly affects the performance of the planner, and in some cases can lead the search into a dead end. This can happen whilst separating out the planning and scheduling problems, leading to the production of an unschedulable plan. CRIKEY can detect these cases and change the relaxation accordingly.